The selected effects or ‘etiological’ theory of Proper function is a naturalistic and realist account of biological teleology. It is used to analyse normativity in philosophy of language, philosophy of mind, philosophy of medicine and elsewhere. The theory has been developed with a simple and intuitive view of natural selection. Traits are selected because of their positive effects on the fitness of the organisms that have them. These ‘selected effects’ are the Proper functions of the traits. Proponents argue that this (...) analysis of biological teleology has the unique advantage that the selected effect function of a trait is also a causal explanation of the trait: the trait exists because it performs this function. We show, however, that selected effect functions as currently defined explain the existence of traits only under highly restrictive assumptions about evolutionary dynamics. In many common scenarios in which traits evolve by natural selection, selected effect functions do not explain those traits. This is because definitions of selected effect function extract from any evolutionary scenario only the information that would be explanatorily relevant in the simple evolutionary scenario implicit in those definitions. When applied to more complex scenarios selected effect functions omit the key information that is explanatorily relevant in those scenarios. The assumptions required for selected effect functions to be explanatory are particularly unlikely to hold in the domain that its proponents care most about - the evolution of representation. A more adequate selected effects theory of Proper functions may be possible, but will require much greater attention to the structure of actual evolutionary explanations. (shrink)

This paper shows that implicit assumptions about the numeraire good in the Kaldor-Hicks efficiency-equity analysis involve a "same-yardstick" fallacy (a fallacy pointed out by Paul Samuelson in another context). These results have negative implications for cost-benefit analysis, the wealth-maximization approach to law and economics, and other parts of applied welfare economics--as well as for the whole vision of economics based on the "production and distribution of social wealth.".

I argue that Sellars’s distinction between signifying and picturing should be taken seriously by philosophers of mind, language, and cognition. I begin with interpretations of key Sellarsian texts in order to show that picturing is best understood as a theory of non-linguistic cognitive representations through which animals navigate their environments. This is distinct from the kind of discursive cognition that Sellars called ‘signifying’ and which is best understood in terms of socio-linguistic inferences. I argue that picturing is required because reflection (...) on signifying cannot adequately explain our need for cognitive friction. I then show how the idea of picturing is further developed by Paul Churchland, Ruth Garrett Millikan, and Huw Price. I finally turn to predictive processing as a theory of cognitive representation, and in particular Andy Clark’s ‘radical predictive processing’, to further characterize picturing. However, doing so has the cost of pushing picturing and signifying further apart than Sellars intended. (shrink)

This is a protocol for a Cochrane Review (Intervention). The objectives are as follows: -/- The main aim of this review will be to assess the effects of changing practitioner empathy or patient expectations for all conditions. The main objective is to conduct a systematic review of randomised trials where the intervention involves manipulating either (a) practitioner empathy or (b) patient expectations, or (c) both.

This chapter focusses on Martin Lang's ongoing practiced-based research project "The Truth in Painting 1993" which employs painting, photography and digital manipulation brought together in pictures that depict events from 1993. Each painting in the series contains an amalgamation of "analogue" painterly marks, printed scans of paintings and digital painting. The projects anticipates that both the lack of certainty around the mediums used, and the occasions depicted in the works, will spur viewers to question notions of socially constructed and mind-independent (...) truths connected to incidents of that time. In this essay, Lang frames his work in relation to ideas of slippage of the work of art as a single, unique, entity in Jacques Derrida's "The Truth in Painting" (1978) and Enrico Terrone's concept of "standards of correctness" in "The Post-truth in Painting" (2019). This positions Lang's project in a "post-truth world", where "the truth is out there", but which cannot always be clearly defined and understood. (shrink)

Bu kitap, Carl Schmitt'in demokrasi ve diktatörlük üzerine düşüncelerini politik felsefenin sorgu sahasında ele almayı amaçlayarak Schmitt'i kendi döneminin polemikleri arasında konumlandırmaktadır. Bu amaçla Weimar dönemi hukukçuları üzerinde önemli etkisi olan Carl Friedrich Wilhelm von Gerber ve Paul Laband'ın anayasa düşünceleri ekseninde Alman İmparatorluğu'nun hukuk mirası incelenmiştir. Weimar Cumhuriyeti'nin krizlerle şekillenen politik atmosferi, politik felsefe açısından verimli tartışmaların ortaya çıkmasını sağlamıştır. Bu tartışmaların izi; dönemin hukukçularından Gerhard Anschütz, Richard Thoma, Georg Jellinek, Hans Kelsen ve Hermann Heller'ın demokrasi (...) ve diktatörlük tartışmasına kaynaklık eden düşünceleri üzerinden sürülmüştür. Schmitt, çoğunluğu 1920'li yıllara denk gelen anayasa hukuku çalışmaları ile Weimar dönemi hukuk tartışmaları arasında belirleyici bir yerde durmaktadır. Schmitt ile anayasanın koruyuculuğu ve parlamentarizm hakkında polemiğe giren düşünürler, kitabın ayrı bir bölümünün konusunu oluşturmaktadır. Politik felsefenin güncel bir uğrağı olmayı sürdüren Schmitt'in demokrasi ve diktatörlük üzerine düşünceleri, çağdaş dünyanın karşı karşıya kaldığı demokrasi sorunlarının derinleştirilmesinde verimli bir kaynaktır. Bu kitabın amaçları arasında, kendi tarihsel bağlamı içerisinde Schmitt'in devlet düşüncesinin spesifik bir incelemesini yapmanın yanında, kendisini diktatörlüğün karşısında konumlandıran liberal demokrasi anlayışını tartışmaya açmak da bulunmaktadır. (shrink)

When considering the question of possible transformation and disappearance of scientific objects, it is useful to distinguish between epistemic and technical objects. This paper presents preliminary observations and offers a typology of obsolescence. It is based on several case studies drawn from the history of life sciences. The paper proceeds as follows: first, the dynamics of epistemic objects is considered through the examples of Carl Correns’ study of “xenia”, Alfred Kühn’s work on physiological developmental genetics, and Paul Zamecnik’s (...) research on the protein biosynthesis. Second, the phasing out of technical objects is then separately discussed and illustrated by the example of radioactive tracing in biology – until recently, an established technique of visualization. (shrink)

Cantor argued that absolute infinity is beyond mathematical comprehension. His arguments imply that the domain of mathematics cannot be grasped by mathematical means. We argue that this inability constitutes a foundational problem. For Cantor, however, the domain of mathematics does not belong to mathematics, but to theology. We thus discuss the theological significance of Cantor’s treatment of absolute infinity and show that it can be interpreted in terms of negative theology. Proceeding from this interpretation, we refer to the recent debate (...) on absolute generality and argue that the method of diagonalization constitutes a modern version of the vianegativa. On our reading, negative theology can evoke an attitude of humility with respect to the boundedness of the human condition. Along these lines, we think that the foundational problem of mathematics concerning its domain can be addressed through a methodological attitude of humility. (shrink)

Biologists seems to hold two fundamental beliefs: Organisms are organized into levels and the individuals at these levels differ in their properties. Together these suggest that there will be massive multiple realization, i.e. that many human psychological properties are multiply realized at many neurobiological levels. This paper provides some documentation in support of this suggestion.

The purpose of this paper is to show that the mathematics of quantum mechanics is the mathematics of set partitions linearized to vector spaces, particularly in Hilbert spaces. That is, the math of QM is the Hilbert space version of the math to describe objective indefiniteness that at the set level is the math of partitions. The key analytical concepts are definiteness versus indefiniteness, distinctions versus indistinctions, and distinguishability versus indistinguishability. The key machinery to go from indefinite to more definite (...) states is the partition join operation at the set level that prefigures at the quantum level projective measurement as well as the formation of maximally-definite state descriptions by Dirac’s Complete Sets of Commuting Operators. This development is measured quantitatively by logical entropy at the set level and by quantum logical entropy at the quantum level. This follow-the-math approach supports the Literal Interpretation of QM—as advocated by Abner Shimony among others which sees a reality of objective indefiniteness that is quite different from the common sense and classical view of reality as being “definite all the way down”. (shrink)

The new logic of partitions is dual to the usual Boolean logic of subsets (usually presented only in the special case of the logic of propositions) in the sense that partitions and subsets are category-theoretic duals. The new information measure of logical entropy is the normalized quantitative version of partitions. The new approach to interpreting quantum mechanics (QM) is showing that the mathematics (not the physics) of QM is the linearized Hilbert space version of the mathematics of partitions. Or, putting (...) it the other way around, the math of partitions is a skeletal version of the math of QM. The key concepts throughout this progression from logic, to logical information, to quantum theory are distinctions versus indistinctions, definiteness versus indefiniteness, or distinguishability versus indistinguishability. The distinctions of a partition are the ordered pairs of elements from the underlying set that are in different blocks of the partition and logical entropy is defined (initially) as the normalized number of distinctions. The cognate notions of definiteness and distinguishability run throughout the math of QM, e.g., in the key non-classical notion of superposition (= ontic indefiniteness) and in the Feynman rules for adding amplitudes (indistinguishable alternatives) versus adding probabilities (distinguishable alternatives). (shrink)

There is a fundamental subsets–partitions duality that runs through the exact sciences. In more concrete terms, it is the duality between elements of a subset and the distinctions of a partition. In more abstract terms, it is the reverse-the-arrows of category theory that provides a major architectonic of mathematics. The paper first develops the duality between the Boolean logic of subsets and the logic of partitions. Then, probability theory and information theory (as based on logical entropy) are shown to start (...) with the quantitative versions of subsets and partitions. Some basic universal mapping properties in the category of Sets are developed that precede the abstract duality of category theory. But by far the main application is to the clarification and interpretation of quantum mechanics. Since classical mechanics illustrates the Boolean worldview of full distinctness, it is natural that quantum mechanics would be based on the indefiniteness of its characteristic superposition states, which is modeled at the set level by partitions (or equivalence relations). This approach to interpreting quantum mechanics is not a jury-rigged or ad hoc attempt at the interpretation of quantum mechanics but is a natural application of the fundamental duality running throughout the exact sciences. (shrink)

In this article we examine Kant’s understanding of toleration by including a study of all instances in which he directly uses the language of toleration and related concepts. We use this study to resolve several key areas of interpretative dispute concerning Kant’s views on toleration. We argue that Kant offers a nuanced and largely unappreciated approach to thinking about toleration, and related concepts, across three normative spheres: the political, the interpersonal and the personal. We examine shortcomings in earlier interpretations and (...) conclude by arguing that the theme of toleration in Kant’s work, while coherent and important, is neither as central nor as peripheral as suggested by previous interpretations. Further, while Kant is critical of the arrogance of toleration in the political sphere, he is more positive toward the role of toleration in the interpersonal and personal spheres since it promotes virtue. (shrink)

Abstract: In this article we introduce an input-oriented democratic innovation – that we term ‘TaxTrack’ – which offers individual taxpayers the means to engage with their political economies in three ways. After joining the TaxTrack program, an individual can: (1) see and understand how much, and what types, of taxes they have contributed, (2) see and understand how their tax contributions are, or have been, used, and (3) control what their tax contributions can, or cannot, be spent on. We explain (...) this democratic innovation in two ways. The first is through evocation to prefigure what the innovation could look like in future practise which raises the prospects for both good and problematic outcomes. The second is through formal theory to produce a detailed model of the innovation to assist theory building. We conclude by discussing three interactive outcomes of ‘TaxTrack’ through the democratic innovations literature to establish the beginnings of a theory for the model. This theory tells us that ‘TaxTrack’ can return benefits to its users and the democratic regimes in which they are located but it may also place restrictions on output-oriented innovations like Participatory Budgeting. (shrink)

This paper shows how the classical finite probability theory (with equiprobable outcomes) can be reinterpreted and recast as the quantum probability calculus of a pedagogical or toy model of quantum mechanics over sets (QM/sets). There have been several previous attempts to develop a quantum-like model with the base field of ℂ replaced by ℤ₂. Since there are no inner products on vector spaces over finite fields, the problem is to define the Dirac brackets and the probability calculus. The previous attempts (...) all required the brackets to take values in ℤ₂. But the usual QM brackets <ψ|ϕ> give the "overlap" between states ψ and ϕ, so for subsets S,T⊆U, the natural definition is <S|T>=|S∩T| (taking values in the natural numbers). This allows QM/sets to be developed with a full probability calculus that turns out to be a non-commutative extension of classical Laplace-Boole finite probability theory. The pedagogical model is illustrated by giving simple treatments of the indeterminacy principle, the double-slit experiment, Bell's Theorem, and identical particles in QM/Sets. A more technical appendix explains the mathematics behind carrying some vector space structures between QM over ℂ and QM/Sets over ℤ₂. (shrink)

A theory of property needs to give an account of the whole life-cycle of a property right: how it is initiated, transferred, and terminated. Economics has focused on the transfers in the market and has almost completely neglected the question of the initiation and termination of property in normal production and consumption (not in some original state or in the transition from common to private property). The institutional mechanism for the normal initiation and termination of property is an invisible-hand function (...) of the market, the market mechanism of appropriation. Does this mechanism satisfy an appropriate normative principle? The standard normative juridical principle is to assign or impute legal responsibility according to de facto responsibility. It is given a historical tag of being "Lockean" but the basis is contemporary jurisprudence, not historical exegesis. Then the fundamental theorem of the property mechanism is proven which shows that if "Hume's conditions" (no transfers without consent and all contracts fulfilled) are satisfied, then the market automatically satisfies the Lockean responsibility principle, i.e., "Hume implies Locke." As a major application, the results in their contrapositive form, "Not Locke implies Not Hume," are applied to a market economy based on the employment contract. It is shown the production based on the employment contract violates the Lockean principle (all who work in an employment enterprise are de facto responsible for the positive and negative results) and thus Hume's conditions must also be violated in the marketplace (de facto responsible human action cannot be transferred from one person to another—as is readily recognized when and employer and employee together commit a crime). (shrink)

This essay shows that the principles of classical liberalism (e.g., James Buchanan) do not apply to the firm based on the employer-employee relationship. However, there is a deeper democratic classical liberalism tradition based on inalienable rights, but it rules out the employment or human rental relation.

Evolutionary economics often focuses on the comparison between economic competition and the process of natural selection to select the fitter members of a given population. But that neglects the other "half" of an evolutionary process, the mechanism for the generation of new possibilities that is key to dynamic efficiency. My topic is the process of parallel experimentation which I take to be a process of multiple experiments running concurrently with some form of common goal, with some semi-isolation between the experiments, (...) with benchmarking comparisons made between the experiments, and with the "migration" of discoveries between experiments wherever possible to ratchet up the performance of the group. The thesis is that parallel experimentation is a fundamental dynamic efficiency scheme to enhance and accelerate variation, innovation, and learning in contexts of genuine uncertainty or known ignorance. Within evolutionary biology, this type of parallel experimentation scheme was developed in Sewall Wright's shifting balance theory of evolution. It addressed the rather neglected topic of how a population on a low fitness peak might eventually be able to go "downhill" against selective pressures, traverse a valley of low fitness, and then ascend a higher fitness peak. The theme of parallel experimentation is used to recast and pull together dynamic and pluralistic theories in economics, political theory, philosophy of science, and social learning. (shrink)

The lattice operations of join and meet were defined for set partitions in the nineteenth century, but no new logical operations on partitions were defined and studied during the twentieth century. Yet there is a simple and natural graph-theoretic method presented here to define any n-ary Boolean operation on partitions. An equivalent closure-theoretic method is also defined. In closing, the question is addressed of why it took so long for all Boolean operations to be defined for partitions.

There is a fault line running through classical liberalism as to whether or not democratic self-governance is a necessary part of a liberal social order. The democratic and non-democratic strains of classical liberalism are both present today—particularly in America. Many contemporary libertarians and neo-Austrian economists represent the non-democratic strain in their promotion of non-democratic sovereign city-states (startup cities or charter cities). We will take the late James M. Buchanan as a representative of the democratic strain of classical liberalism. Since the (...) fundamental norm of classical liberalism is consent, we must start with the intellectual history of the voluntary slavery contract, the coverture marriage contract, and the voluntary non-democratic constitution (or pactum subjectionis). Next we recover the theory of inalienable rights that descends from the Reformation doctrine of the inalienability of conscience through the Enlightenment (e.g., Spinoza and Hutcheson) in the abolitionist and democratic movements. Consent-based governments divide into those based on the subjects' alienation of power to a sovereign and those based on the citizens' delegation of power to representatives. Inalienable rights theory rules out that alienation in favor of delegation, so the citizens remain the ultimate principals and the form of government is democratic. Thus the argument concludes in agreement with Buchanan that the classical liberal endorsement of sovereign individuals acting in the marketplace generalizes to the joint action of individuals as the principals in their own organizations. (shrink)

Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual (...) logic of partitions. That dual logic is described here. Partition logic is at the same mathematical level as subset logic since models for both are constructed from (partitions on or subsets of) arbitrary unstructured sets with no ordering relations, compatibility or accessibility relations, or topologies on the sets. Just as Boole developed logical finite probability theory as a quantitative treatment of subset logic, applying the analogous mathematical steps to partition logic yields a logical notion of entropy so that information theory can be refounded on partition logic. But the biggest application is that when partition logic and the accompanying logical information theory are "lifted" to complex vector spaces, then the mathematical framework of quantum mechanics is obtained. Partition logic models indefiniteness (i.e., numerical attributes on a set become more definite as the inverse-image partition becomes more refined) while subset logic models the definiteness of classical physics (an entity either definitely has a property or definitely does not). Hence partition logic provides the backstory so the old idea of "objective indefiniteness" in QM can be fleshed out to a full interpretation of quantum mechanics. (shrink)

In the 1990s , a debate raged across the whole postsocialist world as well as in Western development agencies such as the World Bank about the best approach to the transition from various forms of socialism or communism to a market economy and political democracy. One of the most hotly contested topics was the question of the workplace being organized based on workplace democracy (e.g., various forms of worker ownership) or based on the conventional employer-employee relationship. Well before 1989, many (...) of the socialist countries had started experimenting with various forms of "self-management" operating in more of a market setting, Yugoslavia being the most developed example. Thus one "path to the market" would have been to push those experiments all the way to some Western form of employee ownership or worker cooperatives operating in a full market environment. Alternatively, all these decentralizing experiments could be condemned as "vestiges of communism" to be eradicated by renationalizing all the decentralized firms and then privatizing by some alternative means. (shrink)

Category theory has foundational importance because it provides conceptual lenses to characterize what is important and universal in mathematics—with adjunctions being the primary lens. If adjunctions are so important in mathematics, then perhaps they will isolate concepts of some importance in the empirical sciences. But the applications of adjunctions have been hampered by an overly restrictive formulation that avoids heteromorphisms or hets. By reformulating an adjunction using hets, it is split into two parts, a left and a right semiadjunction. Semiadjunctions (...) (essentially a formulation of universal mapping properties using hets) can then be combined in a new way to define the notion of a brain functor that provides an abstract model of the intentionality of perception and action (as opposed to the passive reception of sense-data or the reflex generation of behavior). (shrink)

Categorical logic has shown that modern logic is essentially the logic of subsets (or "subobjects"). Partitions are dual to subsets so there is a dual logic of partitions where a "distinction" [an ordered pair of distinct elements (u,u′) from the universe U ] is dual to an "element". An element being in a subset is analogous to a partition π on U making a distinction, i.e., if u and u′ were in different blocks of π. Subset logic leads to finite (...) probability theory by taking the (Laplacian) probability as the normalized size of each subset-event of a finite universe. The analogous step in the logic of partitions is to assign to a partition the number of distinctions made by a partition normalized by the total number of ordered pairs |U|² from the finite universe. That yields a notion of "logical entropy" for partitions and a "logical information theory." The logical theory directly counts the (normalized) number of distinctions in a partition while Shannon's theory gives the average number of binary partitions needed to make those same distinctions. Thus the logical theory is seen as providing a conceptual underpinning for Shannon's theory based on the logical notion of "distinctions.". (shrink)

Classical physics and quantum physics suggest two meta-physical types of reality: the classical notion of a objectively definite reality with properties "all the way down," and the quantum notion of an objectively indefinite type of reality. The problem of interpreting quantum mechanics (QM) is essentially the problem of making sense out of an objectively indefinite reality. These two types of reality can be respectively associated with the two mathematical concepts of subsets and quotient sets (or partitions) which are category-theoretically dual (...) to one another and which are developed in two mathematical logics, the usual Boolean logic of subsets and the more recent logic of partitions. Our sense-making strategy is "follow the math" by showing how the logic and mathematics of set partitions can be transported in a natural way to Hilbert spaces where it yields the mathematical machinery of QM--which shows that the mathematical framework of QM is a type of logical system over ℂ. And then we show how the machinery of QM can be transported the other way down to the set-like vector spaces over ℤ₂ showing how the classical logical finite probability calculus (in a "non-commutative" version) is a type of "quantum mechanics" over ℤ₂, i.e., over sets. In this way, we try to make sense out of objective indefiniteness and thus to interpret quantum mechanics. (shrink)

Liberal-contractarian philosophies of justice see the unjust systems of slavery and autocracy in the past as being based on coercion—whereas the social order in modern democratic market societies is based on consent and contract. However, the ‘best’ case for slavery and autocracy in the past were consent-based contractarian arguments. Hence, our first task is to recover those ‘forgotten’ apologia for slavery and autocracy. To counter those consent-based arguments, the historical anti-slavery and democratic movements developed a theory of inalienable rights. Our (...) second task is to recover that theory and to consider several other applications of the theory. Finally, the liberal theories of justice expounded by John Rawls and by Robert Nozick are briefly examined from this perspective. (shrink)

van Els, Paul. "Vier muren en een dak vormen geen huis" (Four Walls and a Roof Do Not Form a House). Review of 25 eeuwen oosterse filosofie, edited by Jan Bor and Karel van der Leeuw. China Nu 28, no. 4 (2003): 34–35.

After Marx, dissenting economics almost always used 'the labour theory' as a theory of value. This paper develops a modern treatment of the alternative labour theory of property that is essentially the property theoretic application of the juridical principle of responsibility: impute legal responsibility in accordance with who was in fact responsible. To understand descriptively how assets and liabilities are appropriated in normal production, a 'fundamental myth' needs to be cleared away, and then the market mechanism of appropriation can be (...) understood. On the normative side, neoclassical theory represents marginal productivity theory as showing that (a metaphorical version of) the imputation principle is satisfied ('people get what they produce') in competitive enterprises. Since that shows the moral commitment of neoclassical economics to the imputation principle, the labour theory of property is presented here as the actual non-metaphorical application of the imputation principle to property appropriation. The property-theoretic analysis at the firm level shows how the neoclassical (and much heterodox) analysis in terms of 'distributive shares' wholly misframed the basic questions. Finally, the paper shows how the imputation principle (modernised labour theory of property) is systematically violated in the present wage labour system of renting persons. The paper can be seen as taking up the recent challenge posed by Donald Katzner for a dialogue between neoclassical and heterodox microeconomics. (shrink)

Logical information theory is the quantitative version of the logic of partitions just as logical probability theory is the quantitative version of the dual Boolean logic of subsets. The resulting notion of information is about distinctions, differences and distinguishability and is formalized using the distinctions of a partition. All the definitions of simple, joint, conditional and mutual entropy of Shannon information theory are derived by a uniform transformation from the corresponding definitions at the logical level. The purpose of this paper (...) is to give the direct generalization to quantum logical information theory that similarly focuses on the pairs of eigenstates distinguished by an observable, i.e., qudits of an observable. The fundamental theorem for quantum logical entropy and measurement establishes a direct quantitative connection between the increase in quantum logical entropy due to a projective measurement and the eigenstates that are distinguished by the measurement. Both the classical and quantum versions of logical entropy have simple interpretations as “two-draw” probabilities for distinctions. The conclusion is that quantum logical entropy is the simple and natural notion of information for quantum information theory focusing on the distinguishing of quantum states. (shrink)

Modern categorical logic as well as the Kripke and topological models of intuitionistic logic suggest that the interpretation of ordinary “propositional” logic should in general be the logic of subsets of a given universe set. Partitions on a set are dual to subsets of a set in the sense of the category-theoretic duality of epimorphisms and monomorphisms—which is reflected in the duality between quotient objects and subobjects throughout algebra. If “propositional” logic is thus seen as the logic of subsets of (...) a universe set, then the question naturally arises of a dual logic of partitions on a universe set. This paper is an introduction to that logic of partitions dual to classical subset logic. The paper goes from basic concepts up through the correctness and completeness theorems for a tableau system of partition logic. (shrink)

This chapter explores the unifying themes of “the Pittsburgh School” of Sellars, Brandom, and McDowell: a social pragmatist account of intentionality, the rejection of the Myth of the Given, and the partial rehabilitation of Hegel for analytic philosophy. In addition this chapter also discusses three points of disagreement within the Pittsburgh School: whether or not we should posit sense-impressions, whether perceptual intentionality is world-relational, and whether the natural sciences have epistemic authority over other ways of thinking about nature. The chapter (...) concludes with a metaphilosophical concern about the status of a return to Hegel within analytic philosophy. Analytic philosophy follows an anti-Hegelian neo-Kantian institution of a divide between philosophy and the social and natural sciences. Hegel would reject such a divide, since he conceives of philosophy as investigating “shapes of a world” and not just “shapes of consciousness”. In these terms the Pittsburgh School marks a return to Hegel trimmed to suit the needs of analytic philosophy rather than questioning those needs. (shrink)

The logical basis for information theory is the newly developed logic of partitions that is dual to the usual Boolean logic of subsets. The key concept is a "distinction" of a partition, an ordered pair of elements in distinct blocks of the partition. The logical concept of entropy based on partition logic is the normalized counting measure of the set of distinctions of a partition on a finite set--just as the usual logical notion of probability based on the Boolean logic (...) of subsets is the normalized counting measure of the subsets (events). Thus logical entropy is a measure on the set of ordered pairs, and all the compound notions of entropy (join entropy, conditional entropy, and mutual information) arise in the usual way from the measure (e.g., the inclusion-exclusion principle)--just like the corresponding notions of probability. The usual Shannon entropy of a partition is developed by replacing the normalized count of distinctions (dits) by the average number of binary partitions (bits) necessary to make all the distinctions of the partition. (shrink)

There is some consensus among orthodox category theorists that the concept of adjoint functors is the most important concept contributed to mathematics by category theory. We give a heterodox treatment of adjoints using heteromorphisms that parses an adjunction into two separate parts. Then these separate parts can be recombined in a new way to define a cognate concept, the brain functor, to abstractly model the functions of perception and action of a brain. The treatment uses relatively simple category theory and (...) is focused on the interpretation and application of the mathematical concepts. (shrink)

There is a fallacy that is often involved in the interpretation of quantum experiments involving a certain type of separation such as the: double-slit experiments, which-way interferometer experiments, polarization analyzer experiments, Stern-Gerlach experiments, and quantum eraser experiments. The fallacy leads not only to flawed textbook accounts of these experiments but to flawed inferences about retrocausality in the context of delayed choice versions of separation experiments.

Since its formal definition over sixty years ago, category theory has been increasingly recognized as having a foundational role in mathematics. It provides the conceptual lens to isolate and characterize the structures with importance and universality in mathematics. The notion of an adjunction (a pair of adjoint functors) has moved to center-stage as the principal lens. The central feature of an adjunction is what might be called “determination through universals” based on universal mapping properties. A recently developed “heteromorphic” theory about (...) adjoints suggests a conceptual structure, albeit abstract and atemporal, for how new relatively autonomous behavior can emerge within a system obeying certain laws. The focus here is on applications in the life sciences (e.g., selectionist mechanisms) and human sciences (e.g., the generative grammar view of language). (shrink)

Instead of the half-century old foundational feud between set theory and category theory, this paper argues that they are theories about two different complementary types of universals. The set-theoretic antinomies forced naïve set theory to be reformulated using some iterative notion of a set so that a set would always have higher type or rank than its members. Then the universal u_{F}={x|F(x)} for a property F() could never be self-predicative in the sense of u_{F}∈u_{F}. But the mathematical theory of categories, (...) dating from the mid-twentieth century, includes a theory of always-self-predicative universals--which can be seen as forming the "other bookend" to the never-self-predicative universals of set theory. The self-predicative universals of category theory show that the problem in the antinomies was not self-predication per se, but negated self-predication. They also provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. (shrink)

This volume presents research that integrates decision making and creativity within the social contexts in which these processes occur. The volume is an essential addition to and expansion of recent approaches to decision making. Such approaches attempt to incorporate more of the psychological and socio-cultural context in which human decision making takes place. The authors come from different disciplines and also belong to a broad spectrum of research traditions. They present innovative chapters dealing with both theoretical and empirical aspects of (...) decision making in different personal and organizational contexts. All chapters are written from the perspective that human decision making is inherently social and more or less creative. The volume addresses fundamental questions about the nature of human decision making as it occurs in different social contexts. Thereby, it becomes essential reading for researchers in decision making and for advanced students in psychology, management science, informatics, and related disciplines. (shrink)

Research on human decision making is at the present time undergoing rapid changes. From previously being much focused on models and approaches with an origin in economy, much of the present day research finds its inspiration from disciplinary approaches concerned with incorporating more of the context that the decision making takes place in. This context includes psychological aspects of the decision maker and social-cultural aspects of the situation he or she acts in. All human decision making occurs in dynamically changing (...) contexts. One factor contributing to this is that human beings or groups in many situations act as entrepreneurs trying to improve the situation for themselves or their organization. Given that this is the case, it is of increasing interest for both researchers and practitioners interested in the social aspects of decision making to consider the relation between creativity and decision making. (shrink)

Liberal thought (in the sense of classical liberalism) is based on the juxtaposition of consent to coercion. Autocracy and slavery were seen as based on coercion whereas today's political democracy and economic 'employment system' are based on consent to voluntary contracts. This paper retrieves an almost forgotten dark side of contractarian thought that based autocracy and slavery on explicit or implicit voluntary contracts. To answer these 'best case' arguments for slavery and autocracy, the democratic and abolitionist movements forged arguments not (...) simply in favour of consent, but arguments that voluntary contracts to legally alienate aspects of personhood were invalid 'even with consent' – which made the underlying rights inherently inalienable. Once understood, those arguments have the perhaps 'unintended consequence' of making the neo-abolitionist case for ruling out today's self-rental contract, the employer-employee contract. The paper has to also retrieve these inalienable rights arguments since they have been largely lost on the Left, not to mention in liberal thought. (shrink)

In this chapter I seek to provide a theoretical defense of workplace democracy that is independent from and outside the lineage of Marxist and communist theory. Common to the council movements, anarcho- syndicalism and many other forms of libertarian socialism was the idea “that workers’ self- management was central.” Yet the idea of workers’ control has not been subject to the same theoretical development as Marx’s theory, not to mention capitalist economic theory. This chapter aims to contribute at a theoretical (...) level by providing a justification and defense of self- managed workplaces that is independent of the particular historical tradition of the council movements. There is a clear and definitive case for workplace democracy based on first principles that descends to modern times through the Reformation and Enlightenment in the abolitionist, democratic and feminist movements. By the twentieth century, the arguments had been scattered and lost – like the bones of some ancient beast scattered in a desert – partly due to misconceptions, mental blocks and misinterpretations embodied in Marxism, liberalism and economic theory. When one has worked through some of these intellectual roadblocks, then one may be better able to reassemble the case for workplace democracy from well- known first principles developed in the abolitionist, democratic and feminist movements. (shrink)

Classical liberalism is skeptical about governmental organizations "doing good" for people. Instead governments should create the conditions so that people individually (Adam Smith) and in associations (Tocqueville) are empowered to do good for themselves. The market implications of classical liberalism are well-known, but the implications for organizations are controversial. We will take James Buchanan as our guide (with assists from Mill and Dewey). Unpacking the implications of classical liberalism for the "science of associations" (Tocqueville) requires a tour through the intellectual (...) history of the voluntary slavery contract and the voluntary non-democratic constitution. The argument concludes that the classical liberal endorsement of sovereign individuals acting in the marketplace generalizes to the joint action of individuals as the principals in their own organizations and associations. (shrink)

Longtermists have argued that humanity should significantly increase its efforts to prevent catastrophes like nuclear wars, pandemics, and AI disasters. But one prominent longtermist argument overshoots this conclusion: the argument also implies that humanity should reduce the risk of existential catastrophe even at extreme cost to the present generation. This overshoot means that democratic governments cannot use the longtermist argument to guide their catastrophe policy. In this paper, we show that the case for preventing catastrophe does not depend on longtermism. (...) Standard cost-benefit analysis implies that governments should spend much more on reducing catastrophic risk. We argue that a government catastrophe policy guided by cost-benefit analysis should be the goal of longtermists in the political sphere. This policy would be democratically acceptable, and it would reduce existential risk by almost as much as a strong longtermist policy. (shrink)

This paper shows how the universals of category theory in mathematics provide a model (in the Platonic Heaven of mathematics) for the self-predicative strand of Plato's Theory of Forms as well as for the idea of a "concrete universal" in Hegel and similar ideas of paradigmatic exemplars in ordinary thought. The paper also shows how the always-self-predicative universals of category theory provide the "opposite bookend" to the never-self-predicative universals of iterative set theory and thus that the paradoxes arose from having (...) one theory (e.g., Frege's Paradise) where universals could be either self-predicative or non-self-predicative (instead of being always one or always the other). (shrink)

The purpose of this paper is to show that the dual notions of elements & distinctions are the basic analytical concepts needed to unpack and analyze morphisms, duality, and universal constructions in the Sets, the category of sets and functions. The analysis extends directly to other concrete categories (groups, rings, vector spaces, etc.) where the objects are sets with a certain type of structure and the morphisms are functions that preserve that structure. Then the elements & distinctions-based definitions can be (...) abstracted in purely arrow-theoretic way for abstract category theory. In short, the language of elements & distinctions is the conceptual language in which the category of sets is written, and abstract category theory gives the abstract arrows version of those definitions. (shrink)

Double-entry bookkeeping (DEB) implicitly uses a specific mathematical construction, the group of differences using pairs of unsigned numbers ("T-accounts"). That construction was only formulated abstractly in mathematics in the 19th century—even though DEB had been used in the business world for over five centuries. Yet the connection between DEB and the group of differences (here called the "Pacioli group") is still largely unknown both in mathematics and accounting. The precise mathematical treatment of DEB allows clarity on certain conceptual questions and (...) it immediately yields the generalization of the double-entry method to multi-dimensional vectors typically representing the different types of property involved in an enterprise or household. (shrink)

In finite probability theory, events are subsets S⊆U of the outcome set. Subsets can be represented by 1-dimensional column vectors. By extending the representation of events to two dimensional matrices, we can introduce "superposition events." Probabilities are introduced for classical events, superposition events, and their mixtures by using density matrices. Then probabilities for experiments or `measurements' of all these events can be determined in a manner exactly like in quantum mechanics (QM) using density matrices. Moreover the transformation of the density (...) matrices induced by the experiments or `measurements' is the Lüders mixture operation as in QM. And finally by moving the machinery into the n-dimensional vector space over ℤ₂, different basis sets become different outcome sets. That `non-commutative' extension of finite probability theory yields the pedagogical model of quantum mechanics over ℤ₂ that can model many characteristic non-classical results of QM. (shrink)

Today it would be considered "bad Platonic metaphysics" to think that among all the concrete instances of a property there could be a universal instance so that all instances had the property by virtue of participating in that concrete universal. Yet there is a mathematical theory, category theory, dating from the mid-20th century that shows how to precisely model concrete universals within the "Platonic Heaven" of mathematics. This paper, written for the philosophical logician, develops this category-theoretic treatment of concrete universals (...) along with a new concept to abstractly model the functions of a brain. (shrink)

Nancy MacLean’s book, Democracy in Chains, raised questions about James M. Buchanan’s commitment to democracy. This paper investigates the relationship of classical liberalism in general and of Buchanan in particular to democratic theory. Contrary to the simplistic classical liberal juxtaposition of “coercion vs. consent,” there have been from Antiquity onwards voluntary contractarian defenses of non-democratic government and even slavery—all little noticed by classical liberal scholars who prefer to think of democracy as just “government by the consent of the governed” and (...) slavery as being inherently coercive. Historically, democratic theory had to go beyond that simplistic notion of democracy to develop a critique of consent-based non-democratic government, e.g., the Hobbesian pactum subjectionis. That critique was based firstly on the distinction between contracts or constitutions of alienation (translatio) versus delegation (concessio). Then the contracts of alienation were ruled out based on the theory of inalienable rights that descends from the Reformation doctrine of inalienability of conscience down through the Enlightenment to modern times in the abolitionist and democratic movements. While he developed no theory of inalienability, the mature Buchanan explicitly allowed only a constitution of delegation, contrary to many modern classical liberals or libertarians who consider the choice between consent-based democratic or non-democratic governments (e.g., private cities or shareholder states) to be a pragmatic one. But Buchanan seems to not even realize that his at-most-delegation dictum would also rule out the employer-employee or human rental contract which is a contract of alienation “within the scope of the employment.”. (shrink)

According to one large family of views, scientific explanations explain a phenomenon (such as an event or a regularity) by subsuming it under a general representation, model, prototype, or schema (see Bechtel, W., & Abrahamsen, A. (2005). Explanation: A mechanist alternative. Studies in History and Philosophy of Biological and Biomedical Sciences, 36(2), 421–441; Churchland, P. M. (1989). A neurocomputational perspective: The nature of mind and the structure of science. Cambridge: MIT Press; Darden (2006); Hempel, C. G. (1965). Aspects of scientific (...) explanation. In C. G. Hempel (Ed.), Aspects of scientific explanation (pp. 331–496). New York: Free Press; Kitcher (1989); Machamer, P., Darden, L., & Craver, C. F. (2000). Thinking about mechanisms. Philosophy of Science, 67(1), 1–25). My concern is with the minimal suggestion that an adequate philosophical theory of scientific explanation can limit its attention to the format or structure with which theories are represented. The representational subsumption view is a plausible hypothesis about the psychology of understanding. It is also a plausible claim about how scientists present their knowledge to the world. However, one cannot address the central questions for a philosophical theory of scientific explanation without turning one’s attention from the structure of representations to the basic commitments about the worldly structures that plausibly count as explanatory. A philosophical theory of scientific explanation should achieve two goals. The first is explanatory demarcation. It should show how explanation relates with other scientific achievements, such as control, description, measurement, prediction, and taxonomy. The second is explanatory normativity. It should say when putative explanations succeed and fail. One cannot achieve these goals without undertaking commitments about the kinds of ontic structures that plausibly count as explanatory. Representations convey explanatory information about a phenomenon when and only when they describe the ontic explanations for those phenomena. (shrink)

In “What Makes a Scientific Explanation Distinctively Mathematical?” (2013b), Lange uses several compelling examples to argue that certain explanations for natural phenomena appeal primarily to mathematical, rather than natural, facts. In such explanations, the core explanatory facts are modally stronger than facts about causation, regularity, and other natural relations. We show that Lange's account of distinctively mathematical explanation is flawed in that it fails to account for the implicit directionality in each of his examples. This inadequacy is remediable in each (...) case by appeal to ontic facts that account for why the explanation is acceptable in one direction and unacceptable in the other direction. The mathematics involved in these examples cannot play this crucial normative role. While Lange's examples fail to demonstrate the existence of distinctively mathematical explanations, they help to emphasize that many superficially natural scientific explanations rely for their explanatory force on relations of stronger-than-natural necessity. These are not opposing kinds of scientific explanations; they are different aspects of scientific explanation. (shrink)